White Box Testing Example - Georgia Tech - Software Development Process